ecl-halt-kind(x)
== ecl_ind(x;k,test.inl k ;a,b,ha,hb.hb;a,b,ha,hb.inr  ;a,b,ha,hb.inr  ;a,ha.ha;a,m,ha.ha;a,m,ha.ha;a,l,ha.inr  ) 

latex

Definitions	ecl ind, inl x , inr x ,
FDL editor aliases	ecl-halt-kind